Chinese translation for "temporal operator"

时间算子

Related Translations:

temporal:  adj.1.暂时的，一时的，转瞬间的(opp. eternal)。2.此世的，现世的；世俗的(opp. spiritual)。3.时的，时间的 (opp. spatial) 【语法】表示时间的，时态的。n.1.一时的事物；俗事。 世事。2.世俗的权力〔多指教会的财产和收入〕。短语和例子a temporal death 假死。 temporal aims 世俗的目标。 tem

temporal technology:  时空学技术

temporal control:  时序控制

temporal suture:  颞缝

temporal headache:  颞头痛

temporal radiometer:  瞬间辐射计瞬时辐射计

temporal canal:  颞管

temporal genu:  颞叶膝部

temporal distribution:  时间分布, 时间序列时间分配时间上的分布瞬间分布暂时注分布

temporal facilitation:  时间助长

Example Sentences:

	1.	Temporal rover includes all of the temporal operators as well as others designed for discussing events that occurred in the past Temporal rover包括所有时态操作符以及为讨论过去发生的事件而设计的其它操作符。
	2.	They have proved to be useful for specifying concurrent systems , since they can describe the ordering of events in time without introducing time explicitly . in ctl * formulas are composed of path quantifiers and temporal operators 和基于模拟、测试和演绎推理问题的传统方法相比较,有着许多的优点,也已经成功地实践于检验复杂的时序电路设计和通讯协议。
	3.	Studying time ' s basic attributes in detail , a time model is made at first in this context . in addition , the temporal interval and time point are analyzed and their temporal relations are described with the temporal operators 文中首先通过研究时间的基本属性，确定表达时间的模型；进而分析时态区间和时间点并描述两者间时态关系，并引入时态算子描述这些关系。
	4.	There are two quantifiers a ( for all computation paths ) and e ( for some computation path ) in path quantifiers ; and in temporal operators , there are five basic operators x ( next time ) , f ( eventually ) , g ( always ) , u ( until ) and r ( release ) . ctl * has two types of formulas : state formulas ( which are true in a specific state ) and path formulas ( which are true along a specific path ) ; and two useful sublogics : branching - time logic ctl and linear - time logic ltl . the distinction between the two is how they 本文首先介绍了模型检测的一些基本概念和理论,然后介绍了与其密切相关的、在检验中用于描述系统属性的时序逻辑,及实现模型检测问题的方法,在基于上述关于概念、理论的基础上,研究了诊断系统可诊断性的检验方法,说明了一个给定设备的诊断条件被破坏时当且仅当有临界对的出现,并定义了设备的耦合孪生模型,说明如何用它来寻找临界对,最后使用模型检测框架来构造这个问题,把耦合孪生模型化简为模型检测问题。

Similar Words：

"temporal muscle flap" Chinese translation, "temporal musculocutaneous flap" Chinese translation, "temporal nephrostomy" Chinese translation, "temporal nerves" Chinese translation, "temporal opening" Chinese translation, "temporal optic atrophy" Chinese translation, "temporal order of combinations" Chinese translation, "temporal orientation" Chinese translation, "temporal parallax" Chinese translation, "temporal parallelisom" Chinese translation